Reducing Complexity of Supervisor Synthesis
نویسندگان
چکیده
منابع مشابه
the effect of task complexity on lexical complexity and grammatical accuracy of efl learners’ argumentative writing
بر اساس فرضیه شناخت رابینسون (2001 و 2003 و 2005) و مدل ظرفیت توجه محدود اسکهان (1998)، این تحقیق تاثیر پیچیدگی تکلیف را بر پیچیدگی واژگان و صحت گرامری نوشتار مباحثه ای 60 نفر از دانشجویان زبان انگلیسی بررسی کرد. میزان پیچیدگی تکلیف از طریق فاکتورهای پراکندگی-منابع تعیین شد. همه ی شرکت کنندگان به صورت نیمه تصادفی به یکی از سه گروه: (1) گروه موضوع، (2) گروه موضوع + اندیشه و (3) گروه موضوع + اندی...
15 صفحه اولSupervisor Synthesis for Approximating Maximally-allowable Behaviors
We present three algorithms for supervisor synthesis in discrete-event systems. In all cases the desired language is not both controllable and observable. To allow supervisor synthesis, we approximate the desired language with languages that are controllable and observable. These languages are contained in the desired language, and are ‘large’ in some sense. We note that there exists algorithms...
متن کاملFinding Bad States during Symbolic Supervisor Synthesis
This paper is about supervisor synthesis, a central issue in solving control problems within the Ramadge-Wonham framework for Discrete Event Systems. As most automata-based methods, this framework is subject to the state explosion problem. The impact of state explosion has been considerably reduced in the area of formal verification through the introduction of symbolic representation techniques...
متن کاملA μ-Calculus Approach to Supervisor Synthesis
We present a new formulation to the solution of the supervisory control problem proposed by Ramadge and Wonham. The objective of that problem is to synthesise a controller which constrains a system’s behaviour according to a given specification. We reformulate the solution using set of μ-calculus equations. This makes it independent of any natural or programming languages and allows us to use w...
متن کاملReducing Complexity of Large EPCs
Abstract: Business processes are an important instrument for understanding and improving how companies provide goods and services to customers. Therefore, many companies have documented their business processes well, often in the Event-driven Process Chains (EPC). Unfortunately, in many cases the resulting EPCs are rather complex, so that the overall process logic is hidden in low level process...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC Proceedings Volumes
سال: 2003
ISSN: 1474-6670
DOI: 10.1016/s1474-6670(17)34666-9